| blocks | C* | p* | WVC |
|---|---|---|---|
| blocks:probBLOCKS-4-0.pddl | 6 | 0.00 | 4 |
| blocks:probBLOCKS-4-1.pddl | 10 | 0.50 | 13 |
| blocks:probBLOCKS-4-2.pddl | 6 | 0.00 | 4 |
| blocks:probBLOCKS-5-0.pddl | 12 | 0.42 | 33 |
| blocks:probBLOCKS-5-1.pddl | 10 | 0.00 | 16 |
| blocks:probBLOCKS-5-2.pddl | 16 | 0.50 | 55 |
| blocks:probBLOCKS-6-0.pddl | 12 | 0.33 | 34 |
| blocks:probBLOCKS-6-1.pddl | 10 | 0.00 | 14 |
| blocks:probBLOCKS-6-2.pddl | 20 | 0.50 | 191 |
| blocks:probBLOCKS-7-0.pddl | 20 | 0.50 | 191 |
| blocks:probBLOCKS-7-1.pddl | 22 | 0.45 | 1133 |
| blocks:probBLOCKS-7-2.pddl | 20 | 0.40 | 563 |
| blocks:probBLOCKS-8-0.pddl | 18 | 0.33 | 794 |
| blocks:probBLOCKS-8-1.pddl | 20 | 0.35 | 1801 |
| blocks:probBLOCKS-8-2.pddl | 16 | 0.25 | 396 |
| blocks:probBLOCKS-9-0.pddl | -1 | -1 | -1 |
| blocks:probBLOCKS-9-1.pddl | 28 | 0.50 | 3455 |
| blocks:probBLOCKS-9-2.pddl | 26 | 0.46 | 3455 |
| blocks:probBLOCKS-10-0.pddl | -1 | -1 | -1 |
| blocks:probBLOCKS-10-1.pddl | -1 | -1 | -1 |
| blocks:probBLOCKS-10-2.pddl | -1 | -1 | -1 |
| blocks:probBLOCKS-11-0.pddl | -1 | -1 | -1 |
| blocks:probBLOCKS-11-1.pddl | -1 | -1 | -1 |
| blocks:probBLOCKS-11-2.pddl | -1 | -1 | -1 |
| blocks:probBLOCKS-12-0.pddl | -1 | -1 | -1 |
| blocks:probBLOCKS-12-1.pddl | -1 | -1 | -1 |
| blocks:probBLOCKS-13-0.pddl | -1 | -1 | -1 |
| blocks:probBLOCKS-13-1.pddl | -1 | -1 | -1 |
| blocks:probBLOCKS-14-0.pddl | -1 | -1 | -1 |
| blocks:probBLOCKS-14-1.pddl | -1 | -1 | -1 |
| blocks:probBLOCKS-15-0.pddl | -1 | -1 | -1 |
| blocks:probBLOCKS-15-1.pddl | -1 | -1 | -1 |
| blocks:probBLOCKS-16-1.pddl | -1 | -1 | -1 |
| blocks:probBLOCKS-16-2.pddl | -1 | -1 | -1 |
| blocks:probBLOCKS-17-0.pddl | -1 | -1 | -1 |
| depot | C* | p* | WVC |
| depot:p01.pddl | 10 | 1.00 | 134 |
| depot:p02.pddl | 15 | 0.53 | 1878 |
| depot:p03.pddl | -1 | -1 | -1 |
| depot:p04.pddl | -1 | -1 | -1 |
| depot:p05.pddl | -1 | -1 | -1 |
| depot:p06.pddl | -1 | -1 | -1 |
| depot:p07.pddl | -1 | -1 | -1 |
| depot:p08.pddl | -1 | -1 | -1 |
| depot:p09.pddl | -1 | -1 | -1 |
| depot:p10.pddl | -1 | -1 | -1 |
| depot:p11.pddl | -1 | -1 | -1 |
| depot:p12.pddl | -1 | -1 | -1 |
| depot:p13.pddl | -1 | -1 | -1 |
| depot:p14.pddl | -1 | -1 | -1 |
| depot:p15.pddl | -1 | -1 | -1 |
| depot:p16.pddl | -1 | -1 | -1 |
| depot:p17.pddl | -1 | -1 | -1 |
| depot:p18.pddl | -1 | -1 | -1 |
| depot:p19.pddl | -1 | -1 | -1 |
| depot:p20.pddl | -1 | -1 | -1 |
| depot:p21.pddl | -1 | -1 | -1 |
| depot:p22.pddl | -1 | -1 | -1 |
| driverlog | C* | p* | WVC |
| driverlog:p01.pddl | 7 | 1.00 | 9 |
| driverlog:p02.pddl | 19 | 0.47 | 10157 |
| driverlog:p03.pddl | 12 | 0.67 | 1850 |
| driverlog:p04.pddl | 16 | 0.50 | 21060 |
| driverlog:p05.pddl | -1 | -1 | -1 |
| driverlog:p06.pddl | 11 | 0.55 | 11793 |
| driverlog:p07.pddl | -1 | -1 | -1 |
| driverlog:p08.pddl | -1 | -1 | -1 |
| driverlog:p09.pddl | -1 | -1 | -1 |
| driverlog:p10.pddl | -1 | -1 | -1 |
| driverlog:p11.pddl | -1 | -1 | -1 |
| driverlog:p12.pddl | -1 | -1 | -1 |
| driverlog:p13.pddl | -1 | -1 | -1 |
| driverlog:p14.pddl | -1 | -1 | -1 |
| driverlog:p15.pddl | -1 | -1 | -1 |
| driverlog:p16.pddl | -1 | -1 | -1 |
| driverlog:p17.pddl | -1 | -1 | -1 |
| driverlog:p18.pddl | -1 | -1 | -1 |
| driverlog:p19.pddl | -1 | -1 | -1 |
| driverlog:p20.pddl | -1 | -1 | -1 |
| elevators-opt08-strips | C* | p* | WVC |
| elevators-opt08-strips:p01.pddl | 42 | 1.00 | 7391 |
| elevators-opt08-strips:p02.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p03.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p04.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p05.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p06.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p07.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p08.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p09.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p10.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p11.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p12.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p13.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p14.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p15.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p16.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p17.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p18.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p19.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p20.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p21.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p22.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p23.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p24.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p25.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p26.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p27.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p28.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p29.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p30.pddl | -1 | -1 | -1 |
| elevators-opt11-strips | C* | p* | WVC |
| elevators-opt11-strips:p01.pddl | -1 | -1 | -1 |
| elevators-opt11-strips:p02.pddl | -1 | -1 | -1 |
| elevators-opt11-strips:p03.pddl | -1 | -1 | -1 |
| elevators-opt11-strips:p04.pddl | -1 | -1 | -1 |
| elevators-opt11-strips:p05.pddl | -1 | -1 | -1 |
| elevators-opt11-strips:p06.pddl | -1 | -1 | -1 |
| elevators-opt11-strips:p07.pddl | -1 | -1 | -1 |
| elevators-opt11-strips:p08.pddl | -1 | -1 | -1 |
| elevators-opt11-strips:p09.pddl | -1 | -1 | -1 |
| elevators-opt11-strips:p10.pddl | -1 | -1 | -1 |
| elevators-opt11-strips:p11.pddl | -1 | -1 | -1 |
| elevators-opt11-strips:p12.pddl | -1 | -1 | -1 |
| elevators-opt11-strips:p13.pddl | -1 | -1 | -1 |
| elevators-opt11-strips:p14.pddl | -1 | -1 | -1 |
| elevators-opt11-strips:p15.pddl | -1 | -1 | -1 |
| elevators-opt11-strips:p16.pddl | -1 | -1 | -1 |
| elevators-opt11-strips:p17.pddl | -1 | -1 | -1 |
| elevators-opt11-strips:p18.pddl | -1 | -1 | -1 |
| elevators-opt11-strips:p19.pddl | -1 | -1 | -1 |
| elevators-opt11-strips:p20.pddl | -1 | -1 | -1 |
| floortile-opt11-strips | C* | p* | WVC |
| floortile-opt11-strips:opt-p01-001.pddl | 38 | 0.29 | 7411 |
| floortile-opt11-strips:opt-p01-002.pddl | 33 | 0.00 | 4053 |
| floortile-opt11-strips:opt-p02-003.pddl | 62 | 0.24 | 34044 |
| floortile-opt11-strips:opt-p02-004.pddl | -1 | -1 | -1 |
| floortile-opt11-strips:opt-p03-005.pddl | -1 | -1 | -1 |
| floortile-opt11-strips:opt-p03-006.pddl | -1 | -1 | -1 |
| floortile-opt11-strips:opt-p04-007.pddl | -1 | -1 | -1 |
| floortile-opt11-strips:opt-p04-008.pddl | -1 | -1 | -1 |
| floortile-opt11-strips:opt-p05-009.pddl | -1 | -1 | -1 |
| floortile-opt11-strips:opt-p05-010.pddl | -1 | -1 | -1 |
| floortile-opt11-strips:opt-p06-011.pddl | -1 | -1 | -1 |
| floortile-opt11-strips:opt-p06-012.pddl | -1 | -1 | -1 |
| floortile-opt11-strips:opt-p07-013.pddl | -1 | -1 | -1 |
| floortile-opt11-strips:opt-p07-014.pddl | -1 | -1 | -1 |
| floortile-opt11-strips:opt-p08-015.pddl | -1 | -1 | -1 |
| floortile-opt11-strips:opt-p08-016.pddl | -1 | -1 | -1 |
| floortile-opt11-strips:opt-p09-017.pddl | -1 | -1 | -1 |
| floortile-opt11-strips:opt-p09-018.pddl | -1 | -1 | -1 |
| floortile-opt11-strips:opt-p10-019.pddl | -1 | -1 | -1 |
| floortile-opt11-strips:opt-p10-020.pddl | -1 | -1 | -1 |
| ged-opt14-strips | C* | p* | WVC |
| ged-opt14-strips:d-1-2.pddl | 1 | 1.00 | 0 |
| ged-opt14-strips:d-1-3.pddl | 4 | 0.50 | 20325 |
| ged-opt14-strips:d-1-4.pddl | 1 | 1.00 | 0 |
| ged-opt14-strips:d-1-8.pddl | 4 | 0.50 | 46406 |
| ged-opt14-strips:d-2-1.pddl | 1 | 1.00 | 0 |
| ged-opt14-strips:d-2-3.pddl | 3 | 0.67 | 1693 |
| ged-opt14-strips:d-2-4.pddl | 2 | 1.00 | 76 |
| ged-opt14-strips:d-2-8.pddl | -1 | -1 | -1 |
| ged-opt14-strips:d-3-1.pddl | 4 | 0.50 | 20325 |
| ged-opt14-strips:d-3-2.pddl | 3 | 0.67 | 1693 |
| ged-opt14-strips:d-3-4.pddl | -1 | -1 | -1 |
| ged-opt14-strips:d-4-2.pddl | 2 | 1.00 | 76 |
| ged-opt14-strips:d-4-3.pddl | -1 | -1 | -1 |
| ged-opt14-strips:d-4-8.pddl | -1 | -1 | -1 |
| ged-opt14-strips:d-7-5.pddl | 4 | 0.50 | 46406 |
| ged-opt14-strips:d-7-6.pddl | 4 | 0.50 | 20325 |
| ged-opt14-strips:d-8-1.pddl | 4 | 0.50 | 46406 |
| ged-opt14-strips:d-8-2.pddl | -1 | -1 | -1 |
| ged-opt14-strips:d-8-4.pddl | -1 | -1 | -1 |
| ged-opt14-strips:d-8-9.pddl | -1 | -1 | -1 |
| gripper | C* | p* | WVC |
| gripper:prob01.pddl | 11 | 0.45 | 179 |
| gripper:prob02.pddl | 17 | 0.41 | 1477 |
| gripper:prob03.pddl | 23 | 0.48 | 8907 |
| gripper:prob04.pddl | 29 | 0.41 | 55799 |
| gripper:prob05.pddl | 35 | 0.49 | 298293 |
| gripper:prob06.pddl | 41 | 0.44 | 1643126 |
| gripper:prob07.pddl | -1 | -1 | -1 |
| gripper:prob08.pddl | -1 | -1 | -1 |
| gripper:prob09.pddl | -1 | -1 | -1 |
| gripper:prob10.pddl | -1 | -1 | -1 |
| gripper:prob11.pddl | -1 | -1 | -1 |
| gripper:prob12.pddl | -1 | -1 | -1 |
| gripper:prob13.pddl | -1 | -1 | -1 |
| gripper:prob14.pddl | -1 | -1 | -1 |
| gripper:prob15.pddl | -1 | -1 | -1 |
| gripper:prob16.pddl | -1 | -1 | -1 |
| gripper:prob17.pddl | -1 | -1 | -1 |
| gripper:prob18.pddl | -1 | -1 | -1 |
| gripper:prob19.pddl | -1 | -1 | -1 |
| gripper:prob20.pddl | -1 | -1 | -1 |
| hiking-opt14-strips | C* | p* | WVC |
| hiking-opt14-strips:ptesting-1-2-3.pddl | 11 | 1.00 | 383 |
| hiking-opt14-strips:ptesting-1-2-4.pddl | 17 | 1.00 | 2665 |
| hiking-opt14-strips:ptesting-1-2-5.pddl | 25 | 1.00 | 10467 |
| hiking-opt14-strips:ptesting-1-2-7.pddl | 38 | 1.00 | 73519 |
| hiking-opt14-strips:ptesting-1-2-8.pddl | 45 | 1.00 | 155241 |
| hiking-opt14-strips:ptesting-2-2-3.pddl | 10 | 1.00 | 22410 |
| hiking-opt14-strips:ptesting-2-2-4.pddl | -1 | -1 | -1 |
| hiking-opt14-strips:ptesting-2-2-5.pddl | -1 | -1 | -1 |
| hiking-opt14-strips:ptesting-2-2-6.pddl | -1 | -1 | -1 |
| hiking-opt14-strips:ptesting-2-2-7.pddl | -1 | -1 | -1 |
| hiking-opt14-strips:ptesting-2-2-8.pddl | -1 | -1 | -1 |
| hiking-opt14-strips:ptesting-2-3-4.pddl | -1 | -1 | -1 |
| hiking-opt14-strips:ptesting-2-3-5.pddl | -1 | -1 | -1 |
| hiking-opt14-strips:ptesting-2-3-6.pddl | -1 | -1 | -1 |
| hiking-opt14-strips:ptesting-2-3-7.pddl | -1 | -1 | -1 |
| hiking-opt14-strips:ptesting-2-4-3.pddl | -1 | -1 | -1 |
| hiking-opt14-strips:ptesting-2-4-4.pddl | -1 | -1 | -1 |
| hiking-opt14-strips:ptesting-2-4-5.pddl | -1 | -1 | -1 |
| hiking-opt14-strips:ptesting-2-4-6.pddl | -1 | -1 | -1 |
| hiking-opt14-strips:ptesting-2-4-7.pddl | -1 | -1 | -1 |
| logistics00 | C* | p* | WVC |
| logistics00:probLOGISTICS-4-0.pddl | 20 | 0.60 | 3837 |
| logistics00:probLOGISTICS-4-1.pddl | 19 | 0.63 | 3520 |
| logistics00:probLOGISTICS-4-2.pddl | 15 | 1.00 | 1203 |
| logistics00:probLOGISTICS-5-0.pddl | 27 | 0.59 | 37192 |
| logistics00:probLOGISTICS-5-1.pddl | 17 | 0.65 | 5005 |
| logistics00:probLOGISTICS-5-2.pddl | 8 | 1.00 | 278 |
| logistics00:probLOGISTICS-6-0.pddl | 25 | 0.60 | 75531 |
| logistics00:probLOGISTICS-6-1.pddl | 14 | 0.64 | 3372 |
| logistics00:probLOGISTICS-6-2.pddl | 25 | 0.60 | 73255 |
| logistics00:probLOGISTICS-6-9.pddl | 24 | 0.54 | 42358 |
| logistics00:probLOGISTICS-7-0.pddl | -1 | -1 | -1 |
| logistics00:probLOGISTICS-7-1.pddl | -1 | -1 | -1 |
| logistics00:probLOGISTICS-8-0.pddl | -1 | -1 | -1 |
| logistics00:probLOGISTICS-8-1.pddl | -1 | -1 | -1 |
| logistics00:probLOGISTICS-9-0.pddl | -1 | -1 | -1 |
| logistics00:probLOGISTICS-9-1.pddl | -1 | -1 | -1 |
| logistics00:probLOGISTICS-10-0.pddl | -1 | -1 | -1 |
| logistics00:probLOGISTICS-10-1.pddl | -1 | -1 | -1 |
| logistics00:probLOGISTICS-11-0.pddl | -1 | -1 | -1 |
| logistics00:probLOGISTICS-11-1.pddl | -1 | -1 | -1 |
| logistics00:probLOGISTICS-12-0.pddl | -1 | -1 | -1 |
| logistics00:probLOGISTICS-12-1.pddl | -1 | -1 | -1 |
| logistics00:probLOGISTICS-13-0.pddl | -1 | -1 | -1 |
| logistics00:probLOGISTICS-13-1.pddl | -1 | -1 | -1 |
| logistics00:probLOGISTICS-14-0.pddl | -1 | -1 | -1 |
| logistics00:probLOGISTICS-14-1.pddl | -1 | -1 | -1 |
| logistics00:probLOGISTICS-15-0.pddl | -1 | -1 | -1 |
| logistics00:probLOGISTICS-15-1.pddl | -1 | -1 | -1 |
| miconic | C* | p* | WVC |
| miconic:s1-0.pddl | 4 | 0.00 | 0 |
| miconic:s1-1.pddl | 3 | 1.00 | 1 |
| miconic:s1-2.pddl | 4 | 0.00 | 0 |
| miconic:s1-3.pddl | 4 | 0.00 | 0 |
| miconic:s1-4.pddl | 4 | 0.00 | 0 |
| miconic:s2-0.pddl | 7 | 1.00 | 15 |
| miconic:s2-1.pddl | 7 | 1.00 | 19 |
| miconic:s2-2.pddl | 7 | 1.00 | 19 |
| miconic:s2-3.pddl | 7 | 1.00 | 15 |
| miconic:s2-4.pddl | 7 | 1.00 | 15 |
| miconic:s3-0.pddl | 10 | 1.00 | 96 |
| miconic:s3-1.pddl | 11 | 1.00 | 144 |
| miconic:s3-2.pddl | 10 | 1.00 | 90 |
| miconic:s3-3.pddl | 10 | 1.00 | 118 |
| miconic:s3-4.pddl | 10 | 1.00 | 111 |
| miconic:s4-0.pddl | 14 | 1.00 | 829 |
| miconic:s4-1.pddl | 13 | 1.00 | 820 |
| miconic:s4-2.pddl | 15 | 1.00 | 941 |
| miconic:s4-3.pddl | 15 | 1.00 | 941 |
| miconic:s4-4.pddl | 15 | 1.00 | 941 |
| miconic:s5-0.pddl | 17 | 1.00 | 4385 |
| miconic:s5-1.pddl | 17 | 1.00 | 4661 |
| miconic:s5-2.pddl | 15 | 1.00 | 3521 |
| miconic:s5-3.pddl | 17 | 1.00 | 4138 |
| miconic:s5-4.pddl | 18 | 1.00 | 5149 |
| miconic:s6-0.pddl | 19 | 0.79 | 20343 |
| miconic:s6-1.pddl | 19 | 0.68 | 20420 |
| miconic:s6-2.pddl | 20 | 0.80 | 21265 |
| miconic:s6-3.pddl | 20 | 0.70 | 22651 |
| miconic:s6-4.pddl | 21 | 0.71 | 23877 |
| miconic:s7-0.pddl | 23 | 0.74 | 95554 |
| miconic:s7-1.pddl | 24 | 0.75 | 98508 |
| miconic:s7-2.pddl | 22 | 0.73 | 94549 |
| miconic:s7-3.pddl | 22 | 0.73 | 91679 |
| miconic:s7-4.pddl | 25 | 0.76 | 118834 |
| miconic:s8-0.pddl | 27 | 0.70 | 441241 |
| miconic:s8-1.pddl | 27 | 0.70 | 454325 |
| miconic:s8-2.pddl | 26 | 0.77 | 399440 |
| miconic:s8-3.pddl | 28 | 0.71 | 511478 |
| miconic:s8-4.pddl | 27 | 0.70 | 465009 |
| miconic:s9-0.pddl | -1 | -1 | -1 |
| miconic:s9-1.pddl | -1 | -1 | -1 |
| miconic:s9-2.pddl | -1 | -1 | -1 |
| miconic:s9-3.pddl | -1 | -1 | -1 |
| miconic:s9-4.pddl | -1 | -1 | -1 |
| miconic:s10-0.pddl | -1 | -1 | -1 |
| miconic:s10-1.pddl | -1 | -1 | -1 |
| miconic:s10-2.pddl | -1 | -1 | -1 |
| miconic:s10-3.pddl | -1 | -1 | -1 |
| miconic:s10-4.pddl | -1 | -1 | -1 |
| miconic:s11-0.pddl | -1 | -1 | -1 |
| miconic:s11-1.pddl | -1 | -1 | -1 |
| miconic:s11-2.pddl | -1 | -1 | -1 |
| miconic:s11-3.pddl | -1 | -1 | -1 |
| miconic:s11-4.pddl | -1 | -1 | -1 |
| miconic:s12-0.pddl | -1 | -1 | -1 |
| miconic:s12-1.pddl | -1 | -1 | -1 |
| miconic:s12-2.pddl | -1 | -1 | -1 |
| miconic:s12-3.pddl | -1 | -1 | -1 |
| miconic:s12-4.pddl | -1 | -1 | -1 |
| miconic:s13-0.pddl | -1 | -1 | -1 |
| miconic:s13-1.pddl | -1 | -1 | -1 |
| miconic:s13-2.pddl | -1 | -1 | -1 |
| miconic:s13-3.pddl | -1 | -1 | -1 |
| miconic:s13-4.pddl | -1 | -1 | -1 |
| miconic:s14-0.pddl | -1 | -1 | -1 |
| miconic:s14-1.pddl | -1 | -1 | -1 |
| miconic:s14-2.pddl | -1 | -1 | -1 |
| miconic:s14-3.pddl | -1 | -1 | -1 |
| miconic:s14-4.pddl | -1 | -1 | -1 |
| miconic:s15-0.pddl | -1 | -1 | -1 |
| miconic:s15-1.pddl | -1 | -1 | -1 |
| miconic:s15-2.pddl | -1 | -1 | -1 |
| miconic:s15-3.pddl | -1 | -1 | -1 |
| miconic:s15-4.pddl | -1 | -1 | -1 |
| miconic:s16-0.pddl | -1 | -1 | -1 |
| miconic:s16-1.pddl | -1 | -1 | -1 |
| miconic:s16-2.pddl | -1 | -1 | -1 |
| miconic:s16-3.pddl | -1 | -1 | -1 |
| miconic:s16-4.pddl | -1 | -1 | -1 |
| miconic:s17-0.pddl | -1 | -1 | -1 |
| miconic:s17-1.pddl | -1 | -1 | -1 |
| miconic:s17-2.pddl | -1 | -1 | -1 |
| miconic:s17-3.pddl | -1 | -1 | -1 |
| miconic:s17-4.pddl | -1 | -1 | -1 |
| miconic:s18-0.pddl | -1 | -1 | -1 |
| miconic:s18-1.pddl | -1 | -1 | -1 |
| miconic:s18-2.pddl | -1 | -1 | -1 |
| miconic:s18-3.pddl | -1 | -1 | -1 |
| miconic:s18-4.pddl | -1 | -1 | -1 |
| miconic:s19-0.pddl | -1 | -1 | -1 |
| miconic:s19-1.pddl | -1 | -1 | -1 |
| miconic:s19-2.pddl | -1 | -1 | -1 |
| miconic:s19-3.pddl | -1 | -1 | -1 |
| miconic:s19-4.pddl | -1 | -1 | -1 |
| miconic:s20-0.pddl | -1 | -1 | -1 |
| miconic:s20-1.pddl | -1 | -1 | -1 |
| miconic:s20-2.pddl | -1 | -1 | -1 |
| miconic:s20-3.pddl | -1 | -1 | -1 |
| miconic:s20-4.pddl | -1 | -1 | -1 |
| miconic:s21-0.pddl | -1 | -1 | -1 |
| miconic:s21-1.pddl | -1 | -1 | -1 |
| miconic:s21-2.pddl | -1 | -1 | -1 |
| miconic:s21-3.pddl | -1 | -1 | -1 |
| miconic:s21-4.pddl | -1 | -1 | -1 |
| miconic:s22-0.pddl | -1 | -1 | -1 |
| miconic:s22-1.pddl | -1 | -1 | -1 |
| miconic:s22-2.pddl | -1 | -1 | -1 |
| miconic:s22-3.pddl | -1 | -1 | -1 |
| miconic:s22-4.pddl | -1 | -1 | -1 |
| miconic:s23-0.pddl | -1 | -1 | -1 |
| miconic:s23-1.pddl | -1 | -1 | -1 |
| miconic:s23-2.pddl | -1 | -1 | -1 |
| miconic:s23-3.pddl | -1 | -1 | -1 |
| miconic:s23-4.pddl | -1 | -1 | -1 |
| miconic:s24-0.pddl | -1 | -1 | -1 |
| miconic:s24-1.pddl | -1 | -1 | -1 |
| miconic:s24-2.pddl | -1 | -1 | -1 |
| miconic:s24-3.pddl | -1 | -1 | -1 |
| miconic:s24-4.pddl | -1 | -1 | -1 |
| miconic:s25-0.pddl | -1 | -1 | -1 |
| miconic:s25-1.pddl | -1 | -1 | -1 |
| miconic:s25-2.pddl | -1 | -1 | -1 |
| miconic:s25-3.pddl | -1 | -1 | -1 |
| miconic:s25-4.pddl | -1 | -1 | -1 |
| miconic:s26-0.pddl | -1 | -1 | -1 |
| miconic:s26-1.pddl | -1 | -1 | -1 |
| miconic:s26-2.pddl | -1 | -1 | -1 |
| miconic:s26-3.pddl | -1 | -1 | -1 |
| miconic:s26-4.pddl | -1 | -1 | -1 |
| miconic:s27-0.pddl | -1 | -1 | -1 |
| miconic:s27-1.pddl | -1 | -1 | -1 |
| miconic:s27-2.pddl | -1 | -1 | -1 |
| miconic:s27-3.pddl | -1 | -1 | -1 |
| miconic:s27-4.pddl | -1 | -1 | -1 |
| miconic:s28-0.pddl | -1 | -1 | -1 |
| miconic:s28-1.pddl | -1 | -1 | -1 |
| miconic:s28-2.pddl | -1 | -1 | -1 |
| miconic:s28-3.pddl | -1 | -1 | -1 |
| miconic:s28-4.pddl | -1 | -1 | -1 |
| miconic:s29-0.pddl | -1 | -1 | -1 |
| miconic:s29-1.pddl | -1 | -1 | -1 |
| miconic:s29-2.pddl | -1 | -1 | -1 |
| miconic:s29-3.pddl | -1 | -1 | -1 |
| miconic:s29-4.pddl | -1 | -1 | -1 |
| miconic:s30-0.pddl | -1 | -1 | -1 |
| miconic:s30-1.pddl | -1 | -1 | -1 |
| miconic:s30-2.pddl | -1 | -1 | -1 |
| miconic:s30-3.pddl | -1 | -1 | -1 |
| miconic:s30-4.pddl | -1 | -1 | -1 |
| nomystery-opt11-strips | C* | p* | WVC |
| nomystery-opt11-strips:p01.pddl | 11 | 1.00 | 663 |
| nomystery-opt11-strips:p02.pddl | 14 | 1.00 | 13204 |
| nomystery-opt11-strips:p03.pddl | 15 | 0.60 | 15759 |
| nomystery-opt11-strips:p04.pddl | -1 | -1 | -1 |
| nomystery-opt11-strips:p05.pddl | -1 | -1 | -1 |
| nomystery-opt11-strips:p06.pddl | -1 | -1 | -1 |
| nomystery-opt11-strips:p07.pddl | -1 | -1 | -1 |
| nomystery-opt11-strips:p08.pddl | -1 | -1 | -1 |
| nomystery-opt11-strips:p09.pddl | -1 | -1 | -1 |
| nomystery-opt11-strips:p10.pddl | -1 | -1 | -1 |
| nomystery-opt11-strips:p11.pddl | 12 | 1.00 | 399 |
| nomystery-opt11-strips:p12.pddl | 14 | 1.00 | 3356 |
| nomystery-opt11-strips:p13.pddl | 15 | 1.00 | 4848 |
| nomystery-opt11-strips:p14.pddl | -1 | -1 | -1 |
| nomystery-opt11-strips:p15.pddl | -1 | -1 | -1 |
| nomystery-opt11-strips:p16.pddl | -1 | -1 | -1 |
| nomystery-opt11-strips:p17.pddl | -1 | -1 | -1 |
| nomystery-opt11-strips:p18.pddl | -1 | -1 | -1 |
| nomystery-opt11-strips:p19.pddl | -1 | -1 | -1 |
| nomystery-opt11-strips:p20.pddl | -1 | -1 | -1 |
| openstacks-opt08-strips | C* | p* | WVC |
| openstacks-opt08-strips:p01.pddl | 2 | 1.00 | 5 |
| openstacks-opt08-strips:p02.pddl | 2 | 1.00 | 81 |
| openstacks-opt08-strips:p03.pddl | 2 | 1.00 | 225 |
| openstacks-opt08-strips:p04.pddl | 3 | 1.00 | 1985 |
| openstacks-opt08-strips:p05.pddl | 4 | 1.00 | 3717 |
| openstacks-opt08-strips:p06.pddl | -1 | -1 | -1 |
| openstacks-opt08-strips:p07.pddl | -1 | -1 | -1 |
| openstacks-opt08-strips:p08.pddl | -1 | -1 | -1 |
| openstacks-opt08-strips:p09.pddl | -1 | -1 | -1 |
| openstacks-opt08-strips:p10.pddl | -1 | -1 | -1 |
| openstacks-opt08-strips:p11.pddl | -1 | -1 | -1 |
| openstacks-opt08-strips:p12.pddl | -1 | -1 | -1 |
| openstacks-opt08-strips:p13.pddl | -1 | -1 | -1 |
| openstacks-opt08-strips:p14.pddl | -1 | -1 | -1 |
| openstacks-opt08-strips:p15.pddl | -1 | -1 | -1 |
| openstacks-opt08-strips:p16.pddl | -1 | -1 | -1 |
| openstacks-opt08-strips:p17.pddl | -1 | -1 | -1 |
| openstacks-opt08-strips:p18.pddl | -1 | -1 | -1 |
| openstacks-opt08-strips:p19.pddl | -1 | -1 | -1 |
| openstacks-opt08-strips:p20.pddl | -1 | -1 | -1 |
| openstacks-opt08-strips:p21.pddl | -1 | -1 | -1 |
| openstacks-opt08-strips:p22.pddl | -1 | -1 | -1 |
| openstacks-opt08-strips:p23.pddl | -1 | -1 | -1 |
| openstacks-opt08-strips:p24.pddl | -1 | -1 | -1 |
| openstacks-opt08-strips:p25.pddl | -1 | -1 | -1 |
| openstacks-opt08-strips:p26.pddl | -1 | -1 | -1 |
| openstacks-opt08-strips:p27.pddl | -1 | -1 | -1 |
| openstacks-opt08-strips:p28.pddl | -1 | -1 | -1 |
| openstacks-opt08-strips:p29.pddl | -1 | -1 | -1 |
| openstacks-opt08-strips:p30.pddl | -1 | -1 | -1 |
| openstacks-strips | C* | p* | WVC |
| openstacks-strips:p01.pddl | 23 | 0.35 | 1898 |
| openstacks-strips:p02.pddl | 23 | 0.39 | 2404 |
| openstacks-strips:p03.pddl | 23 | 0.35 | 1898 |
| openstacks-strips:p04.pddl | 23 | 0.35 | 1898 |
| openstacks-strips:p05.pddl | 23 | 0.35 | 1898 |
| openstacks-strips:p06.pddl | -1 | -1 | -1 |
| openstacks-strips:p07.pddl | -1 | -1 | -1 |
| openstacks-strips:p08.pddl | -1 | -1 | -1 |
| openstacks-strips:p09.pddl | -1 | -1 | -1 |
| openstacks-strips:p10.pddl | -1 | -1 | -1 |
| openstacks-strips:p11.pddl | -1 | -1 | -1 |
| openstacks-strips:p12.pddl | -1 | -1 | -1 |
| openstacks-strips:p13.pddl | -1 | -1 | -1 |
| openstacks-strips:p14.pddl | -1 | -1 | -1 |
| openstacks-strips:p15.pddl | -1 | -1 | -1 |
| openstacks-strips:p16.pddl | -1 | -1 | -1 |
| openstacks-strips:p17.pddl | -1 | -1 | -1 |
| openstacks-strips:p18.pddl | -1 | -1 | -1 |
| openstacks-strips:p19.pddl | -1 | -1 | -1 |
| openstacks-strips:p20.pddl | -1 | -1 | -1 |
| openstacks-strips:p21.pddl | -1 | -1 | -1 |
| openstacks-strips:p22.pddl | -1 | -1 | -1 |
| openstacks-strips:p23.pddl | -1 | -1 | -1 |
| openstacks-strips:p24.pddl | -1 | -1 | -1 |
| openstacks-strips:p25.pddl | -1 | -1 | -1 |
| openstacks-strips:p26.pddl | -1 | -1 | -1 |
| openstacks-strips:p27.pddl | -1 | -1 | -1 |
| openstacks-strips:p28.pddl | -1 | -1 | -1 |
| openstacks-strips:p29.pddl | -1 | -1 | -1 |
| openstacks-strips:p30.pddl | -1 | -1 | -1 |
| pegsol-08-strips | C* | p* | WVC |
| pegsol-08-strips:p01.pddl | 2 | 1.00 | 0 |
| pegsol-08-strips:p02.pddl | 5 | 1.00 | 18 |
| pegsol-08-strips:p03.pddl | 4 | 1.00 | 22 |
| pegsol-08-strips:p04.pddl | 4 | 1.00 | 48 |
| pegsol-08-strips:p05.pddl | 4 | 0.50 | 47 |
| pegsol-08-strips:p06.pddl | 4 | 0.50 | 144 |
| pegsol-08-strips:p07.pddl | 3 | 1.00 | 1 |
| pegsol-08-strips:p08.pddl | -1 | -1 | -1 |
| pegsol-08-strips:p09.pddl | -1 | -1 | -1 |
| pegsol-08-strips:p10.pddl | -1 | -1 | -1 |
| pegsol-08-strips:p11.pddl | -1 | -1 | -1 |
| pegsol-08-strips:p12.pddl | -1 | -1 | -1 |
| pegsol-08-strips:p13.pddl | -1 | -1 | -1 |
| pegsol-08-strips:p14.pddl | -1 | -1 | -1 |
| pegsol-08-strips:p15.pddl | -1 | -1 | -1 |
| pegsol-08-strips:p16.pddl | -1 | -1 | -1 |
| pegsol-08-strips:p17.pddl | -1 | -1 | -1 |
| pegsol-08-strips:p18.pddl | -1 | -1 | -1 |
| pegsol-08-strips:p19.pddl | -1 | -1 | -1 |
| pegsol-08-strips:p20.pddl | -1 | -1 | -1 |
| pegsol-08-strips:p21.pddl | -1 | -1 | -1 |
| pegsol-08-strips:p22.pddl | -1 | -1 | -1 |
| pegsol-08-strips:p23.pddl | -1 | -1 | -1 |
| pegsol-08-strips:p24.pddl | -1 | -1 | -1 |
| pegsol-08-strips:p25.pddl | -1 | -1 | -1 |
| pegsol-08-strips:p26.pddl | -1 | -1 | -1 |
| pegsol-08-strips:p27.pddl | -1 | -1 | -1 |
| pegsol-08-strips:p28.pddl | -1 | -1 | -1 |
| pegsol-08-strips:p29.pddl | -1 | -1 | -1 |
| pegsol-08-strips:p30.pddl | -1 | -1 | -1 |
| pegsol-opt11-strips | C* | p* | WVC |
| pegsol-opt11-strips:p01.pddl | 3 | 0.67 | 44 |
| pegsol-opt11-strips:p02.pddl | -1 | -1 | -1 |
| pegsol-opt11-strips:p03.pddl | -1 | -1 | -1 |
| pegsol-opt11-strips:p04.pddl | -1 | -1 | -1 |
| pegsol-opt11-strips:p05.pddl | -1 | -1 | -1 |
| pegsol-opt11-strips:p06.pddl | -1 | -1 | -1 |
| pegsol-opt11-strips:p07.pddl | -1 | -1 | -1 |
| pegsol-opt11-strips:p08.pddl | -1 | -1 | -1 |
| pegsol-opt11-strips:p09.pddl | -1 | -1 | -1 |
| pegsol-opt11-strips:p10.pddl | -1 | -1 | -1 |
| pegsol-opt11-strips:p11.pddl | -1 | -1 | -1 |
| pegsol-opt11-strips:p12.pddl | -1 | -1 | -1 |
| pegsol-opt11-strips:p13.pddl | -1 | -1 | -1 |
| pegsol-opt11-strips:p14.pddl | -1 | -1 | -1 |
| pegsol-opt11-strips:p15.pddl | -1 | -1 | -1 |
| pegsol-opt11-strips:p16.pddl | -1 | -1 | -1 |
| pegsol-opt11-strips:p17.pddl | -1 | -1 | -1 |
| pegsol-opt11-strips:p18.pddl | -1 | -1 | -1 |
| pegsol-opt11-strips:p19.pddl | -1 | -1 | -1 |
| pegsol-opt11-strips:p20.pddl | -1 | -1 | -1 |
| psr-small | C* | p* | WVC |
| psr-small:p01-s2-n1-l2-f50.pddl | 8 | 1.00 | 6 |
| psr-small:p02-s5-n1-l3-f30.pddl | 11 | 0.55 | 34 |
| psr-small:p03-s7-n1-l3-f70.pddl | 11 | 0.45 | 22 |
| psr-small:p04-s8-n1-l4-f10.pddl | 10 | 0.60 | 70 |
| psr-small:p05-s9-n1-l4-f30.pddl | 11 | 0.55 | 51 |
| psr-small:p06-s10-n1-l4-f50.pddl | 8 | 1.00 | 6 |
| psr-small:p07-s11-n1-l4-f70.pddl | 11 | 1.00 | 58 |
| psr-small:p08-s12-n1-l5-f10.pddl | 8 | 0.62 | 33 |
| psr-small:p09-s13-n1-l5-f30.pddl | 8 | 1.00 | 14 |
| psr-small:p10-s17-n2-l2-f30.pddl | 7 | 0.43 | 116 |
| psr-small:p11-s18-n2-l2-f50.pddl | 19 | 1.00 | 139 |
| psr-small:p12-s21-n2-l3-f30.pddl | 16 | 1.00 | 108 |
| psr-small:p13-s22-n2-l3-f50.pddl | 15 | 1.00 | 82 |
| psr-small:p14-s23-n2-l3-f70.pddl | 9 | 1.00 | 15 |
| psr-small:p15-s24-n2-l4-f10.pddl | 10 | 1.00 | 149 |
| psr-small:p16-s29-n2-l5-f30.pddl | 25 | 1.00 | 1864 |
| psr-small:p17-s30-n2-l5-f50.pddl | 9 | 1.00 | 11 |
| psr-small:p18-s31-n2-l5-f70.pddl | 12 | 1.00 | 86 |
| psr-small:p19-s33-n3-l2-f30.pddl | 25 | 1.00 | 6880 |
| psr-small:p20-s34-n3-l2-f50.pddl | 17 | 1.00 | 72 |
| psr-small:p21-s35-n3-l2-f70.pddl | 10 | 1.00 | 25 |
| psr-small:p22-s37-n3-l3-f30.pddl | 33 | 0.64 | 70879 |
| psr-small:p23-s38-n3-l3-f50.pddl | 12 | 1.00 | 92 |
| psr-small:p24-s39-n3-l3-f70.pddl | 10 | 1.00 | 25 |
| psr-small:p25-s40-n3-l4-f10.pddl | -1 | -1 | -1 |
| psr-small:p26-s41-n3-l4-f30.pddl | 17 | 1.00 | 135 |
| psr-small:p27-s42-n3-l4-f50.pddl | 21 | 0.71 | 556 |
| psr-small:p28-s43-n3-l4-f70.pddl | 14 | 1.00 | 70 |
| psr-small:p29-s45-n3-l5-f30.pddl | 21 | 0.48 | 23492 |
| psr-small:p30-s46-n3-l5-f50.pddl | 22 | 0.68 | 1112 |
| psr-small:p31-s49-n4-l2-f30.pddl | -1 | -1 | -1 |
| psr-small:p32-s50-n4-l2-f50.pddl | 24 | 1.00 | 421 |
| psr-small:p33-s51-n4-l2-f70.pddl | -1 | -1 | -1 |
| psr-small:p34-s55-n4-l3-f70.pddl | 21 | 1.00 | 213 |
| psr-small:p35-s57-n5-l2-f30.pddl | -1 | -1 | -1 |
| psr-small:p36-s65-n6-l2-f30.pddl | -1 | -1 | -1 |
| psr-small:p37-s67-n6-l2-f70.pddl | 23 | 1.00 | 1337 |
| psr-small:p38-s78-n3-l3-f50.pddl | 13 | 0.62 | 249 |
| psr-small:p39-s79-n3-l3-f70.pddl | 23 | 0.74 | 1713 |
| psr-small:p40-s80-n3-l4-f10.pddl | -1 | -1 | -1 |
| psr-small:p41-s81-n3-l4-f30.pddl | 10 | 1.00 | 32 |
| psr-small:p42-s82-n3-l4-f50.pddl | 30 | 1.00 | 1604 |
| psr-small:p43-s83-n3-l4-f70.pddl | 20 | 1.00 | 312 |
| psr-small:p44-s89-n4-l2-f30.pddl | 19 | 0.68 | 2274 |
| psr-small:p45-s94-n4-l3-f50.pddl | 20 | 1.00 | 350 |
| psr-small:p46-s97-n5-l2-f30.pddl | -1 | -1 | -1 |
| psr-small:p47-s98-n5-l2-f50.pddl | 27 | 0.81 | 4006 |
| psr-small:p48-s101-n5-l3-f30.pddl | -1 | -1 | -1 |
| psr-small:p49-s105-n6-l2-f30.pddl | -1 | -1 | -1 |
| psr-small:p50-s107-n6-l2-f70.pddl | 23 | 1.00 | 634 |
| rovers | C* | p* | WVC |
| rovers:p01.pddl | 10 | 1.00 | 271 |
| rovers:p02.pddl | 8 | 1.00 | 113 |
| rovers:p03.pddl | 11 | 1.00 | 748 |
| rovers:p04.pddl | 8 | 1.00 | 215 |
| rovers:p05.pddl | -1 | -1 | -1 |
| rovers:p06.pddl | -1 | -1 | -1 |
| rovers:p07.pddl | -1 | -1 | -1 |
| rovers:p08.pddl | -1 | -1 | -1 |
| rovers:p09.pddl | -1 | -1 | -1 |
| rovers:p10.pddl | -1 | -1 | -1 |
| rovers:p11.pddl | -1 | -1 | -1 |
| rovers:p12.pddl | -1 | -1 | -1 |
| rovers:p13.pddl | -1 | -1 | -1 |
| rovers:p14.pddl | -1 | -1 | -1 |
| rovers:p15.pddl | -1 | -1 | -1 |
| rovers:p16.pddl | -1 | -1 | -1 |
| rovers:p17.pddl | -1 | -1 | -1 |
| rovers:p18.pddl | -1 | -1 | -1 |
| rovers:p19.pddl | -1 | -1 | -1 |
| rovers:p20.pddl | -1 | -1 | -1 |
| rovers:p21.pddl | -1 | -1 | -1 |
| rovers:p22.pddl | -1 | -1 | -1 |
| rovers:p23.pddl | -1 | -1 | -1 |
| rovers:p24.pddl | -1 | -1 | -1 |
| rovers:p25.pddl | -1 | -1 | -1 |
| rovers:p26.pddl | -1 | -1 | -1 |
| rovers:p27.pddl | -1 | -1 | -1 |
| rovers:p28.pddl | -1 | -1 | -1 |
| rovers:p29.pddl | -1 | -1 | -1 |
| rovers:p30.pddl | -1 | -1 | -1 |
| rovers:p31.pddl | -1 | -1 | -1 |
| rovers:p32.pddl | -1 | -1 | -1 |
| rovers:p33.pddl | -1 | -1 | -1 |
| rovers:p34.pddl | -1 | -1 | -1 |
| rovers:p35.pddl | -1 | -1 | -1 |
| rovers:p36.pddl | -1 | -1 | -1 |
| rovers:p37.pddl | -1 | -1 | -1 |
| rovers:p38.pddl | -1 | -1 | -1 |
| rovers:p39.pddl | -1 | -1 | -1 |
| rovers:p40.pddl | -1 | -1 | -1 |
| satellite | C* | p* | WVC |
| satellite:p01-pfile1.pddl | 9 | 1.00 | 52 |
| satellite:p02-pfile2.pddl | 13 | 0.69 | 866 |
| satellite:p03-pfile3.pddl | 11 | 1.00 | 6820 |
| satellite:p04-pfile4.pddl | 17 | 0.76 | 146513 |
| satellite:p05-pfile5.pddl | -1 | -1 | -1 |
| satellite:p06-pfile6.pddl | -1 | -1 | -1 |
| satellite:p07-pfile7.pddl | -1 | -1 | -1 |
| satellite:p08-pfile8.pddl | -1 | -1 | -1 |
| satellite:p09-pfile9.pddl | -1 | -1 | -1 |
| satellite:p10-pfile10.pddl | -1 | -1 | -1 |
| satellite:p11-pfile11.pddl | -1 | -1 | -1 |
| satellite:p12-pfile12.pddl | -1 | -1 | -1 |
| satellite:p13-pfile13.pddl | -1 | -1 | -1 |
| satellite:p14-pfile14.pddl | -1 | -1 | -1 |
| satellite:p15-pfile15.pddl | -1 | -1 | -1 |
| satellite:p16-pfile16.pddl | -1 | -1 | -1 |
| satellite:p17-pfile17.pddl | -1 | -1 | -1 |
| satellite:p18-pfile18.pddl | -1 | -1 | -1 |
| satellite:p19-pfile19.pddl | -1 | -1 | -1 |
| satellite:p20-pfile20.pddl | -1 | -1 | -1 |
| satellite:p21-HC-pfile1.pddl | -1 | -1 | -1 |
| satellite:p22-HC-pfile2.pddl | -1 | -1 | -1 |
| satellite:p23-HC-pfile3.pddl | -1 | -1 | -1 |
| satellite:p24-HC-pfile4.pddl | -1 | -1 | -1 |
| satellite:p25-HC-pfile5.pddl | -1 | -1 | -1 |
| satellite:p26-HC-pfile6.pddl | -1 | -1 | -1 |
| satellite:p27-HC-pfile7.pddl | -1 | -1 | -1 |
| satellite:p28-HC-pfile8.pddl | -1 | -1 | -1 |
| satellite:p29-HC-pfile9.pddl | -1 | -1 | -1 |
| satellite:p30-HC-pfile10.pddl | -1 | -1 | -1 |
| satellite:p31-HC-pfile11.pddl | -1 | -1 | -1 |
| satellite:p32-HC-pfile12.pddl | -1 | -1 | -1 |
| satellite:p33-HC-pfile13.pddl | -1 | -1 | -1 |
| satellite:p34-HC-pfile14.pddl | -1 | -1 | -1 |
| satellite:p35-HC-pfile15.pddl | -1 | -1 | -1 |
| satellite:p36-HC-pfile16.pddl | -1 | -1 | -1 |
| scanalyzer-08-strips | C* | p* | WVC |
| scanalyzer-08-strips:p01.pddl | 18 | 0.50 | 16927 |
| scanalyzer-08-strips:p02.pddl | 22 | 0.45 | 25828 |
| scanalyzer-08-strips:p03.pddl | 26 | 0.46 | 30399 |
| scanalyzer-08-strips:p04.pddl | -1 | -1 | -1 |
| scanalyzer-08-strips:p05.pddl | -1 | -1 | -1 |
| scanalyzer-08-strips:p06.pddl | -1 | -1 | -1 |
| scanalyzer-08-strips:p07.pddl | -1 | -1 | -1 |
| scanalyzer-08-strips:p08.pddl | -1 | -1 | -1 |
| scanalyzer-08-strips:p09.pddl | -1 | -1 | -1 |
| scanalyzer-08-strips:p10.pddl | -1 | -1 | -1 |
| scanalyzer-08-strips:p11.pddl | -1 | -1 | -1 |
| scanalyzer-08-strips:p12.pddl | -1 | -1 | -1 |
| scanalyzer-08-strips:p13.pddl | -1 | -1 | -1 |
| scanalyzer-08-strips:p14.pddl | -1 | -1 | -1 |
| scanalyzer-08-strips:p15.pddl | -1 | -1 | -1 |
| scanalyzer-08-strips:p16.pddl | -1 | -1 | -1 |
| scanalyzer-08-strips:p17.pddl | -1 | -1 | -1 |
| scanalyzer-08-strips:p18.pddl | -1 | -1 | -1 |
| scanalyzer-08-strips:p19.pddl | -1 | -1 | -1 |
| scanalyzer-08-strips:p20.pddl | -1 | -1 | -1 |
| scanalyzer-08-strips:p21.pddl | -1 | -1 | -1 |
| scanalyzer-08-strips:p22.pddl | 13 | 1.00 | 19 |
| scanalyzer-08-strips:p23.pddl | 13 | 1.00 | 19 |
| scanalyzer-08-strips:p24.pddl | 13 | 1.00 | 19 |
| scanalyzer-08-strips:p25.pddl | -1 | -1 | -1 |
| scanalyzer-08-strips:p26.pddl | -1 | -1 | -1 |
| scanalyzer-08-strips:p27.pddl | -1 | -1 | -1 |
| scanalyzer-08-strips:p28.pddl | -1 | -1 | -1 |
| scanalyzer-08-strips:p29.pddl | -1 | -1 | -1 |
| scanalyzer-08-strips:p30.pddl | -1 | -1 | -1 |
| scanalyzer-opt11-strips | C* | p* | WVC |
| scanalyzer-opt11-strips:p01.pddl | 13 | 1.00 | 19 |
| scanalyzer-opt11-strips:p02.pddl | 22 | 0.45 | 25828 |
| scanalyzer-opt11-strips:p03.pddl | 26 | 0.46 | 30399 |
| scanalyzer-opt11-strips:p04.pddl | -1 | -1 | -1 |
| scanalyzer-opt11-strips:p05.pddl | -1 | -1 | -1 |
| scanalyzer-opt11-strips:p06.pddl | -1 | -1 | -1 |
| scanalyzer-opt11-strips:p07.pddl | -1 | -1 | -1 |
| scanalyzer-opt11-strips:p08.pddl | -1 | -1 | -1 |
| scanalyzer-opt11-strips:p09.pddl | -1 | -1 | -1 |
| scanalyzer-opt11-strips:p10.pddl | -1 | -1 | -1 |
| scanalyzer-opt11-strips:p11.pddl | -1 | -1 | -1 |
| scanalyzer-opt11-strips:p12.pddl | -1 | -1 | -1 |
| scanalyzer-opt11-strips:p13.pddl | -1 | -1 | -1 |
| scanalyzer-opt11-strips:p14.pddl | -1 | -1 | -1 |
| scanalyzer-opt11-strips:p15.pddl | -1 | -1 | -1 |
| scanalyzer-opt11-strips:p16.pddl | -1 | -1 | -1 |
| scanalyzer-opt11-strips:p17.pddl | -1 | -1 | -1 |
| scanalyzer-opt11-strips:p18.pddl | -1 | -1 | -1 |
| scanalyzer-opt11-strips:p19.pddl | -1 | -1 | -1 |
| scanalyzer-opt11-strips:p20.pddl | -1 | -1 | -1 |
| storage | C* | p* | WVC |
| storage:p01.pddl | 3 | 1.00 | 0 |
| storage:p02.pddl | 3 | 1.00 | 0 |
| storage:p03.pddl | 3 | 1.00 | 0 |
| storage:p04.pddl | 8 | 1.00 | 11 |
| storage:p05.pddl | 8 | 1.00 | 38 |
| storage:p06.pddl | -1 | -1 | -1 |
| storage:p07.pddl | -1 | -1 | -1 |
| storage:p08.pddl | -1 | -1 | -1 |
| storage:p09.pddl | -1 | -1 | -1 |
| storage:p10.pddl | -1 | -1 | -1 |
| storage:p11.pddl | -1 | -1 | -1 |
| storage:p12.pddl | -1 | -1 | -1 |
| storage:p13.pddl | -1 | -1 | -1 |
| storage:p14.pddl | -1 | -1 | -1 |
| storage:p15.pddl | -1 | -1 | -1 |
| storage:p16.pddl | -1 | -1 | -1 |
| storage:p17.pddl | -1 | -1 | -1 |
| storage:p18.pddl | -1 | -1 | -1 |
| storage:p19.pddl | -1 | -1 | -1 |
| storage:p20.pddl | -1 | -1 | -1 |
| storage:p21.pddl | -1 | -1 | -1 |
| storage:p22.pddl | -1 | -1 | -1 |
| storage:p23.pddl | -1 | -1 | -1 |
| storage:p24.pddl | -1 | -1 | -1 |
| storage:p25.pddl | -1 | -1 | -1 |
| storage:p26.pddl | -1 | -1 | -1 |
| storage:p27.pddl | -1 | -1 | -1 |
| storage:p28.pddl | -1 | -1 | -1 |
| storage:p29.pddl | -1 | -1 | -1 |
| storage:p30.pddl | -1 | -1 | -1 |
| termes-opt18-strips | C* | p* | WVC |
| termes-opt18-strips:p01.pddl | 36 | 0.47 | 26043 |
| termes-opt18-strips:p02.pddl | -1 | -1 | -1 |
| termes-opt18-strips:p03.pddl | -1 | -1 | -1 |
| termes-opt18-strips:p04.pddl | -1 | -1 | -1 |
| termes-opt18-strips:p05.pddl | -1 | -1 | -1 |
| termes-opt18-strips:p06.pddl | -1 | -1 | -1 |
| termes-opt18-strips:p07.pddl | -1 | -1 | -1 |
| termes-opt18-strips:p08.pddl | -1 | -1 | -1 |
| termes-opt18-strips:p09.pddl | -1 | -1 | -1 |
| termes-opt18-strips:p10.pddl | -1 | -1 | -1 |
| termes-opt18-strips:p11.pddl | -1 | -1 | -1 |
| termes-opt18-strips:p12.pddl | -1 | -1 | -1 |
| termes-opt18-strips:p13.pddl | -1 | -1 | -1 |
| termes-opt18-strips:p14.pddl | -1 | -1 | -1 |
| termes-opt18-strips:p15.pddl | -1 | -1 | -1 |
| termes-opt18-strips:p16.pddl | -1 | -1 | -1 |
| termes-opt18-strips:p17.pddl | -1 | -1 | -1 |
| termes-opt18-strips:p18.pddl | -1 | -1 | -1 |
| termes-opt18-strips:p19.pddl | -1 | -1 | -1 |
| termes-opt18-strips:p20.pddl | -1 | -1 | -1 |
| tpp | C* | p* | WVC |
| tpp:p01.pddl | 5 | 1.00 | 3 |
| tpp:p02.pddl | 8 | 1.00 | 14 |
| tpp:p03.pddl | 11 | 1.00 | 81 |
| tpp:p04.pddl | 14 | 1.00 | 428 |
| tpp:p05.pddl | -1 | -1 | -1 |
| tpp:p06.pddl | -1 | -1 | -1 |
| tpp:p07.pddl | -1 | -1 | -1 |
| tpp:p08.pddl | -1 | -1 | -1 |
| tpp:p09.pddl | -1 | -1 | -1 |
| tpp:p10.pddl | -1 | -1 | -1 |
| tpp:p11.pddl | -1 | -1 | -1 |
| tpp:p12.pddl | -1 | -1 | -1 |
| tpp:p13.pddl | -1 | -1 | -1 |
| tpp:p14.pddl | -1 | -1 | -1 |
| tpp:p15.pddl | -1 | -1 | -1 |
| tpp:p16.pddl | -1 | -1 | -1 |
| tpp:p17.pddl | -1 | -1 | -1 |
| tpp:p18.pddl | -1 | -1 | -1 |
| tpp:p19.pddl | -1 | -1 | -1 |
| tpp:p20.pddl | -1 | -1 | -1 |
| tpp:p21.pddl | -1 | -1 | -1 |
| tpp:p22.pddl | -1 | -1 | -1 |
| tpp:p23.pddl | -1 | -1 | -1 |
| tpp:p24.pddl | -1 | -1 | -1 |
| tpp:p25.pddl | -1 | -1 | -1 |
| tpp:p26.pddl | -1 | -1 | -1 |
| tpp:p27.pddl | -1 | -1 | -1 |
| tpp:p28.pddl | -1 | -1 | -1 |
| tpp:p29.pddl | -1 | -1 | -1 |
| tpp:p30.pddl | -1 | -1 | -1 |
| transport-opt08-strips | C* | p* | WVC |
| transport-opt08-strips:p01.pddl | 54 | 1.00 | 5 |
| transport-opt08-strips:p02.pddl | 131 | 1.00 | 380 |
| transport-opt08-strips:p03.pddl | -1 | -1 | -1 |
| transport-opt08-strips:p04.pddl | -1 | -1 | -1 |
| transport-opt08-strips:p05.pddl | -1 | -1 | -1 |
| transport-opt08-strips:p06.pddl | -1 | -1 | -1 |
| transport-opt08-strips:p07.pddl | -1 | -1 | -1 |
| transport-opt08-strips:p08.pddl | -1 | -1 | -1 |
| transport-opt08-strips:p09.pddl | -1 | -1 | -1 |
| transport-opt08-strips:p10.pddl | -1 | -1 | -1 |
| transport-opt08-strips:p11.pddl | 456 | 1.00 | 42 |
| transport-opt08-strips:p12.pddl | 594 | 1.00 | 3040 |
| transport-opt08-strips:p13.pddl | -1 | -1 | -1 |
| transport-opt08-strips:p14.pddl | -1 | -1 | -1 |
| transport-opt08-strips:p15.pddl | -1 | -1 | -1 |
| transport-opt08-strips:p16.pddl | -1 | -1 | -1 |
| transport-opt08-strips:p17.pddl | -1 | -1 | -1 |
| transport-opt08-strips:p18.pddl | -1 | -1 | -1 |
| transport-opt08-strips:p19.pddl | -1 | -1 | -1 |
| transport-opt08-strips:p20.pddl | -1 | -1 | -1 |
| transport-opt08-strips:p21.pddl | 478 | 1.00 | 41 |
| transport-opt08-strips:p22.pddl | 632 | 1.00 | 1335 |
| transport-opt08-strips:p23.pddl | -1 | -1 | -1 |
| transport-opt08-strips:p24.pddl | -1 | -1 | -1 |
| transport-opt08-strips:p25.pddl | -1 | -1 | -1 |
| transport-opt08-strips:p26.pddl | -1 | -1 | -1 |
| transport-opt08-strips:p27.pddl | -1 | -1 | -1 |
| transport-opt08-strips:p28.pddl | -1 | -1 | -1 |
| transport-opt08-strips:p29.pddl | -1 | -1 | -1 |
| transport-opt08-strips:p30.pddl | -1 | -1 | -1 |
| transport-opt11-strips | C* | p* | WVC |
| transport-opt11-strips:p01.pddl | -1 | -1 | -1 |
| transport-opt11-strips:p02.pddl | -1 | -1 | -1 |
| transport-opt11-strips:p03.pddl | 594 | 1.00 | 3040 |
| transport-opt11-strips:p04.pddl | -1 | -1 | -1 |
| transport-opt11-strips:p05.pddl | -1 | -1 | -1 |
| transport-opt11-strips:p06.pddl | -1 | -1 | -1 |
| transport-opt11-strips:p07.pddl | -1 | -1 | -1 |
| transport-opt11-strips:p08.pddl | -1 | -1 | -1 |
| transport-opt11-strips:p09.pddl | -1 | -1 | -1 |
| transport-opt11-strips:p10.pddl | -1 | -1 | -1 |
| transport-opt11-strips:p11.pddl | -1 | -1 | -1 |
| transport-opt11-strips:p12.pddl | -1 | -1 | -1 |
| transport-opt11-strips:p13.pddl | -1 | -1 | -1 |
| transport-opt11-strips:p14.pddl | -1 | -1 | -1 |
| transport-opt11-strips:p15.pddl | -1 | -1 | -1 |
| transport-opt11-strips:p16.pddl | -1 | -1 | -1 |
| transport-opt11-strips:p17.pddl | -1 | -1 | -1 |
| transport-opt11-strips:p18.pddl | -1 | -1 | -1 |
| transport-opt11-strips:p19.pddl | -1 | -1 | -1 |
| transport-opt11-strips:p20.pddl | -1 | -1 | -1 |
| transport-opt14-strips | C* | p* | WVC |
| transport-opt14-strips:p01.pddl | 148 | 1.00 | 5766 |
| transport-opt14-strips:p02.pddl | -1 | -1 | -1 |
| transport-opt14-strips:p03.pddl | -1 | -1 | -1 |
| transport-opt14-strips:p04.pddl | -1 | -1 | -1 |
| transport-opt14-strips:p05.pddl | -1 | -1 | -1 |
| transport-opt14-strips:p06.pddl | -1 | -1 | -1 |
| transport-opt14-strips:p07.pddl | -1 | -1 | -1 |
| transport-opt14-strips:p08.pddl | -1 | -1 | -1 |
| transport-opt14-strips:p09.pddl | -1 | -1 | -1 |
| transport-opt14-strips:p10.pddl | -1 | -1 | -1 |
| transport-opt14-strips:p11.pddl | -1 | -1 | -1 |
| transport-opt14-strips:p12.pddl | -1 | -1 | -1 |
| transport-opt14-strips:p13.pddl | -1 | -1 | -1 |
| transport-opt14-strips:p14.pddl | -1 | -1 | -1 |
| transport-opt14-strips:p15.pddl | -1 | -1 | -1 |
| transport-opt14-strips:p16.pddl | -1 | -1 | -1 |
| transport-opt14-strips:p17.pddl | -1 | -1 | -1 |
| transport-opt14-strips:p18.pddl | -1 | -1 | -1 |
| transport-opt14-strips:p19.pddl | -1 | -1 | -1 |
| transport-opt14-strips:p20.pddl | -1 | -1 | -1 |
| trucks-strips | C* | p* | WVC |
| trucks-strips:p01.pddl | 13 | 1.00 | 400 |
| trucks-strips:p02.pddl | 17 | 1.00 | 937 |
| trucks-strips:p03.pddl | -1 | -1 | -1 |
| trucks-strips:p04.pddl | -1 | -1 | -1 |
| trucks-strips:p05.pddl | -1 | -1 | -1 |
| trucks-strips:p06.pddl | -1 | -1 | -1 |
| trucks-strips:p07.pddl | -1 | -1 | -1 |
| trucks-strips:p08.pddl | -1 | -1 | -1 |
| trucks-strips:p09.pddl | -1 | -1 | -1 |
| trucks-strips:p10.pddl | -1 | -1 | -1 |
| trucks-strips:p11.pddl | -1 | -1 | -1 |
| trucks-strips:p12.pddl | -1 | -1 | -1 |
| trucks-strips:p13.pddl | -1 | -1 | -1 |
| trucks-strips:p14.pddl | -1 | -1 | -1 |
| trucks-strips:p15.pddl | -1 | -1 | -1 |
| trucks-strips:p16.pddl | -1 | -1 | -1 |
| trucks-strips:p17.pddl | -1 | -1 | -1 |
| trucks-strips:p18.pddl | -1 | -1 | -1 |
| trucks-strips:p19.pddl | -1 | -1 | -1 |
| trucks-strips:p20.pddl | -1 | -1 | -1 |
| trucks-strips:p21.pddl | -1 | -1 | -1 |
| trucks-strips:p22.pddl | -1 | -1 | -1 |
| trucks-strips:p23.pddl | -1 | -1 | -1 |
| trucks-strips:p24.pddl | -1 | -1 | -1 |
| trucks-strips:p25.pddl | -1 | -1 | -1 |
| trucks-strips:p26.pddl | -1 | -1 | -1 |
| trucks-strips:p27.pddl | -1 | -1 | -1 |
| trucks-strips:p28.pddl | -1 | -1 | -1 |
| trucks-strips:p29.pddl | -1 | -1 | -1 |
| trucks-strips:p30.pddl | -1 | -1 | -1 |
| zenotravel | C* | p* | WVC |
| zenotravel:p01.pddl | 1 | 0.00 | 0 |
| zenotravel:p02.pddl | 6 | 1.00 | 21 |
| zenotravel:p03.pddl | 6 | 1.00 | 258 |
| zenotravel:p04.pddl | 8 | 1.00 | 688 |
| zenotravel:p05.pddl | 11 | 1.00 | 11621 |
| zenotravel:p06.pddl | 11 | 0.64 | 61010 |
| zenotravel:p07.pddl | -1 | -1 | -1 |
| zenotravel:p08.pddl | -1 | -1 | -1 |
| zenotravel:p09.pddl | -1 | -1 | -1 |
| zenotravel:p10.pddl | -1 | -1 | -1 |
| zenotravel:p11.pddl | -1 | -1 | -1 |
| zenotravel:p12.pddl | -1 | -1 | -1 |
| zenotravel:p13.pddl | -1 | -1 | -1 |
| zenotravel:p14.pddl | -1 | -1 | -1 |
| zenotravel:p15.pddl | -1 | -1 | -1 |
| zenotravel:p16.pddl | -1 | -1 | -1 |
| zenotravel:p17.pddl | -1 | -1 | -1 |
| zenotravel:p18.pddl | -1 | -1 | -1 |
| zenotravel:p19.pddl | -1 | -1 | -1 |
| zenotravel:p20.pddl | -1 | -1 | -1 |